Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
201	A SRL challenge: extracting proof strategies from exemplar proofs Gudmund Grov, Ekaterina Komendantskaya & Alan Bundy Interactive Theorem Provers • ...are based on higher-order languages/type theory; • ...provide a r Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Mathematical logic Formal sciences Proof assistant Mathematical proof Theorem Proof KeY Logic Mathematics Theoretical computer science
202	The Why3 platform Version 0.85, September 2014 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2014-09-17 04:10:47 Functional languages Theoretical computer science Automated theorem proving Formal methods Coq Proof assistant OCaml National Institute for Research in Computer Science and Control Isabelle Computing Software engineering Software
203	Of Art and Mathematics Paradoxes: feature Add to Reading List Source URL: punya.educ.msu.edu Language: English - Date: 2015-04-07 10:52:18 Philosophical logic Formal systems Paradoxes Euclidean geometry Theorem Mathematical proof Axiom Pythagorean theorem Ambigram Logic Mathematics Mathematical logic
204	A small experiment in Event-B rippling Gudmund Grov, Alan Bundy & Lucas Dixon [removed] [removed] Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Mathematical proof Formal methods Theorem Logic Automated theorem proving Mathematics
205	L INEAR L OGIC AND I MPERATIVE P ROGRAMMING L IMIN J IA A D ISSERTATION Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematics Sequent Linear logic First-order logic Logic programming Formal proof Hoare logic Cut-elimination theorem Type safety Logic Mathematical logic Proof theory
206	NATURAL FORMALISM PETER KOEPKE The language of mathematics as found in textbooks and research articles is a variant of natural language which admits symbolic terms and formulas within argumentative natural language conte Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:54 Philosophy of mathematics Logical syntax Formal languages Proof theory Mathematical proof Formal proof Formalism Automated theorem proving Theorem Logic Mathematics Mathematical logic
207	H:/Jack/My Documents/Web/Math/Writing/writing-proofs.dvi Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2012-03-25 20:18:07 Logical syntax Formal languages Metalogic Proof theory Theorem Mathematical proof Formal proof Well-formed formula If and only if Logic Mathematics Mathematical logic
208	UITP[removed]A User Interface for a Mathematical System that Allows Ambiguous Formulae Claudio Sacerdoti Coen 1,2 Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-01-19 05:48:12 Mathematical logic Model theory Predicate logic Formal languages Interpretation Ambiguity Mathematical notation Formal proof ALGOL 68 Logic Semantics Mathematics
209	Presented at EuroSys Doctoral Workshop 2012, Bern, Switzerland. Towards a Fully Verified File System Sidney Amani Leonid Ryzhyk Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Disk file systems Applied mathematics Logic in computer science Formal verification Formal specification Specification File system Inode Proof assistant Formal methods Computing Theoretical computer science
210	Making Thoughts Explicit: advantages and limitations of formal expression Francis HEYLIGHEN* ABSTRACT. Testing the validity of knowledge requires formal expression of that knowledge. Formality of an Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:38 Logical syntax Semantics Philosophical logic Philosophy of language Expression Regular expression Meaning Fuzzy logic Formal proof Logic Formal languages Mathematics

UPDATE